sequence limit is unique